Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-3 und Äquivalente |
|---|---|
| Fachgebiet | Numerik, Optimierung, Simulation |
| Keywords | quantum computation and quantum information, formal methods, artifical intelligence, logics in computer science |
Aktuelle Kontaktadresse
| Land | China, VR |
|---|---|
| Ort | Beijing |
| Universität/Institution | Tsinghua University |
| Institut/Abteilung | Department of Computer Science and Technology |
Gastgeber*innen während der Förderung
| Prof. Dr. Martin Wirsing | Institut für Informatik, Ludwig-Maximilians-Universität München (LMU), München |
|---|---|
| Prof. Dr. Mila Majster-Cederbaum | Lehrstuhl für Praktische Informatik II, Universität Mannheim, Mannheim |
| Beginn der ersten Förderung | 01.06.1999 |
Programm(e)
| 1998 | Humboldt-Forschungsstipendien-Programm |
|---|